A propositional function in logic, is a statement expressed in a way that would assume the value of true or false, except that within the statement is a variable (x) that is not defined or specified, which leaves the statement undetermined. Of course, x could also consist of several variables.
详细百科解释